Multiple-valued Logic

نویسندگان

  • Peter H. Schmitt
  • Daniele Mundici
  • Lotfi Zadeh
چکیده

s of the Talks In the order in which the talks were given. Walter Carnielli – Non-deterministic Semantics 5 Matthias Baaz – Analytic Calculi for Many-valued Logics 5 Hiroakira Ono – Many-valued Logics as Logics without the Contraction Rule 6 Reiner Hähnle – Proof Theory of Many-valued Logic and Hardware Design 7 Gonzalo Escalada-Imaz – Determining the Truth Degree in Real Time Settings 7 Peter Vojtáš – Many-valued Logic Programming and Abduction 8 Rasim Egri – A New Fuzzy Approach to Unit Commitment in Power Systems 9 Hans Jürgen Ohlbach – How to Augment a Logical System with a Boolean Algebra Component 9 Christian Fermüller – Finite-valued Logics and Classical Proof Theory 10 Agata Ciabattoni – Cut-free Proof Systems for Logics of Weak Excluded Middle 10 Ewa Orlowska – Many-valued Substitutivity Principles 11 Felip Manyà – Solving the SAT-problem in Regular CNF-formulas 11 Siegfried Weber – Conditional Objects Based on MV-algebras 12 Ulrich Höhle – Singletons and Fuzzy Partitions 12 Antonio Di Nola – One Chain Generated Varieties of MV-algebras 13 Zbigniew Stachniak – From Inferentially and Referentially Finitely-valued Systems to Resolution 14 Dirk Van Heule and Albert Hoogewijs – The Partial Predicate Calculus. A Three-valued Object Logic for the Theorem Prover Isabelle 15 Erik Rosenthal – A Linear Resolution Rule for Annotated Logics 16

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Novel Design of Quaternary Inverter ‎Gate Based on GNRFET

   This paper presents a novel design of quaternary logic gates using graphene nanoribbon field effect transistors (GNRFETs). GNRFETs are the alternative devices for digital circuit design due to their superior carrier-transport properties and potential for large-scale processing. In addition, Multiple-valued logic (MVL) is a promising alternative to the conventional binary logic design. Sa...

متن کامل

TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS

In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...

متن کامل

Alternating Regular Tree Grammars in the Framework of Lattice-Valued Logic

In this paper, two different ways of introducing alternation for lattice-valued (referred to as {L}valued)  regular tree grammars and {L}valued top-down tree automata are compared. One is the way which defines the alternating regular tree grammar, i.e., alternation is governed by the non-terminals of the grammar and the other is the way which combines state with alternation. The first way is ta...

متن کامل

High Speed Full Swing Current Mode BiCMOS Logical Operators

In this paper the design of a new high-speed current mode BiCMOS logic circuits isproposed. By altering the threshold detector circuit of the conventional current mode logic circuitsand applying the multiple value logic (MVL) approach the number of transistors in basic logicoperators are significantly reduced and hence a reduction of chip area and power dissipation as wellas an increase in spee...

متن کامل

The Application of Ccd's in Multiple-valued Logic

The advantages and disadvantages of using multiple-valued logic in integrated circuits are discussed. The benefits of applying CCD's in the implementation of multiple-valued circuits are explained. The combination of a few basic multiple-valued logic (MVL) functions makes it possible to implement any MVL function. Three basic functions in four-valued, logic ho.ve been designed^ fabricated and t...

متن کامل

Fast Mixed Linearly Independent Arithmetic Logic Transforms for Multiple-Valued Functions

Properties of fast transformation matrices for multiple-valued input binary output Mixed Linearly Independent Arithmetic Logic (MLIAL) are discussed. It is shown that some of MLIAL transformations for Boolean functions are applicable for multiple-valued input binary functions with appropriate coding. Hence the computational advantage of fast transform calculations of MLIAL transformations apply...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008